Computer aided verification - 15th international conference, CAV 2003, Boulder, CO, USA, July 8 - 12, 2003 : proceedings
- Författare
- Warren A. Hunt International Conference on Computer Aided Verification Boulder : USA)
- (Warren A. Hunt ... (eds.)., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2003 | Tyskland, Berlin | xii, 462 sidor. ill. |